SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·18h·
Discuss: DEV
🌀Brotli Internals
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Neural Network-Guided Symbolic Regression for Interpretable Descriptor Discovery in Perovskite Catalysts
arxiv.org·5h
🕸️Algebraic Topology
This “smart coach” helps LLMs switch between text and code
news.mit.edu·5h
💻Local LLMs
Parsing Protobuf Like Never Before
mcyoung.xyz·1d
🔧Binary Parsers
Effective Practices for Coding with a Chat-Based AI
infoq.com·9h·
Discuss: Hacker News
🔄Language Evolution
A Wide Reduction Trick (2022)
words.filippo.io·6h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🌳Context free grammars
Good binding data is all you need
leashbio.substack.com·9h·
Discuss: Substack
🗂️Vector Databases
How to reason from first principles
caseyhandmer.wordpress.com·14h
🎯Proof Tactics
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Show HN: I built an SDK for building an AI RAG app with Supabase and pgvector
github.com·13h·
Discuss: Hacker News
🌀Brotli Internals
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·7h·
Discuss: Hacker News
🔗Concatenative Programming
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·1d·
Discuss: Hacker News, r/programming
🔒Type Safety
Understanding the Basics: Linear Equations and Matrices
dev.to·8h·
Discuss: DEV
📐Linear Algebra
Machine Learning Fundamentals: dimensionality reduction
dev.to·18h·
Discuss: DEV
📐Linear Algebra
Exploring Prompt Learning: Using English Feedback to Optimize LLM Systems
towardsdatascience.com·11h
💻Local LLMs
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·20h·
Discuss: DEV
📝Concrete Syntax
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers